#ifndef __T3TYPES_H
#define __T3TYPES_H

typedef unsigned int index_t;
typedef unsigned char flag_t;
typedef unsigned char int8b;


#endif
